@InCollection{AlarconSant:2017:TeCaMi,
author = "Alarcon, Paulo Nolberto dos Santos and Santiago J{\'u}nior,
Valdivino Alexandre de",
title = "Test case/step minimization for visual programming language models
and its application to space systems",
booktitle = "Computational Science and Its Applications – ICCSA 2017",
publisher = "Springer",
year = "2017",
editor = "Gervasi, Osvaldo and Murgante, Beniamino and Misra, Sanjay and
Borruso, Giuseppe and Torre, Carmelo M. and Rocha, Ana Maria A. C.
and Tanjar, David and Apduhan, Bernady O. and Stankova, Elena and
Cuzzocrea, Alfredo",
pages = "160--175",
keywords = "Model-Based Testing, Test case/step minimization, Model Checking,
Specification patterns.",
abstract = "Visual Programming Languages have been widely used in the context
of Model-Based Development, and they find a particular appeal for
the design of satellite subsystems, such as the Attitude and Orbit
Control Subsystem (AOCS) which is an extremely complex part of a
spacecraft. The software testing community has been trying to
ensure high quality products with as few defects as possible.
Given that exhaustive generation and execution of software test
cases are unfeasible in practice, one of the initiatives is to
reduce the sets of test cases required to test a Software/System
Under Test, while still maintaining the efficiency (ability to
find product defects, code coverage). This paper presents a new
methodology to generate test cases for Visual Programming Language
models, aiming at minimizing the set of test cases/steps but
maintaining efficiency. The approach, called specification
Patterns, modified Condition/Decision coverage, and formal
Verification to support Testing (PCDVT), combines the Modified
Decision/Condition Coverage (MC/DC) criterion, Model Checking,
specification patterns, and a minimization approach by identifying
irreplaceable tests in a single method, taking advantage of the
benefits of all these efforts in a unified strategy. Results
showed that two instances of PCDVT presented a lower cost (smaller
number of test steps) and, basically, the same efficiency (model
coverage) if compared with a specialist ad hoc approach. We used
the AOCS model of a Brazilian satellite in order to make the
comparison between the methods.",
affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto
Nacional de Pesquisas Espaciais (INPE)}",
isbn = "978-331962406-8",
language = "en",
seriestitle = "Lecture Notes in Computer Science , 10409",
urlaccessdate = "27 abr. 2024"
}